/**
 * Updates the content of the 'content' element with a ajax request.
 */
function update_content(url){
	$('content').load(url);
}